Soft Hard Real-Time Kernel
| Developer | Sant'Anna School of Advanced Studies |
|---|---|
| OS family | Unix-like real-time operating systems |
| Working state | Current |
| Source model | Open source |
| Latest release | 1.5.3 / January 17, 2007 |
| Kernel type | Microkernel |
| License | GNU General Public License |
| Official website | shark.sssup.it |
S.Ha.R.K. (the acronym stands for Soft Hard Real-time Kernel) is a completely configurable kernel architecture designed for supporting hard, soft, and non real-time applications with interchangeable scheduling algorithms.
Main features
[edit]The kernel architecture's main benefit is that an application can be developed independently from a particular system configuration. This allows new modules to be added or replaced in the same application, so that specific scheduling policies can be evaluated for predictability, overhead and performance.
Applications
[edit]S.Ha.R.K. was developed at RETIS Lab, a research facility of the Sant'Anna School of Advanced Studies, and at the University of Pavia, as a tool for teaching, testing and developing real-time software systems. It is used for teaching at many universities, including the Sant'Anna School of Advanced Studies and Malardalens University in Sweden.
Modularity
[edit]Unlike the kernels in traditional operating systems, S.Ha.R.K. is fully modular in terms of scheduling policies, aperiodic servers, and concurrency control protocols. Modularity is achieved by partitioning system activities between a generic kernel and a set of modules, which can be registered at initialization to configure the kernel according to specific application requirements.
History
[edit]S.Ha.R.K. is the evolution of the Hartik Kernel and it is based on the OSLib Project.
See also
[edit]
External links
[edit]- The S.Ha.R.K. Project official site